Stratégies de dérivations de programmes logiques
Identifieur interne : 00A445 ( Main/Exploration ); précédent : 00A444; suivant : 00A446Stratégies de dérivations de programmes logiques
Auteurs : Francis Alexandre ; Khaled BsaiesSource :
English descriptors
- KwdEn :
Abstract
Cet article traite de la construction de programmes logiques (programmes en clauses de Horn) et plus particulièrement du problème des eurekas. Dans le processus de transformation de programmes, il est souvent nécessaire d'utiliser certaines propriétés des programmes. Ces propriétés sont appelées eurkas car elle ne sont pas données a priori, ce sont des propriétés intrinsèques aux programmes et c'est l'utilisateur qui doit les découvrir. Le problème est donc crucial, car d'une part sans ces eurekas il n'est pas possible de poursuivre la transformation, d'autre part l'invention de tels eurekas, qui repose sur l'intuition et l'expertise de l'utilisateur, est difficile à automatiser. La technique présentée ici est une tentative d'automatisation de la génération de ces eurekas. Cette technique doit etre considérée comme une contribution à l'automatisation dans le domaine de la construction de programmes par transformation, elle vient donc compléter les nombreuses tactiques existant déjà dans ce domaine.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002720
- to stream Crin, to step Curation: 002720
- to stream Crin, to step Checkpoint: 001D12
- to stream Main, to step Merge: 00AB13
- to stream Main, to step Curation: 00A445
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-183">Stratégies de dérivations de programmes logiques</title></titleStmt><publicationStmt><idno type="RBID">CRIN:alexandre99b</idno><date when="1999" year="1999">1999</date><idno type="wicri:Area/Crin/Corpus">002720</idno><idno type="wicri:Area/Crin/Curation">002720</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002720</idno><idno type="wicri:Area/Crin/Checkpoint">001D12</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001D12</idno><idno type="wicri:Area/Main/Merge">00AB13</idno><idno type="wicri:Area/Main/Curation">00A445</idno><idno type="wicri:Area/Main/Exploration">00A445</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Stratégies de dérivations de programmes logiques</title><author><name sortKey="Alexandre, Francis" sort="Alexandre, Francis" uniqKey="Alexandre F" first="Francis" last="Alexandre">Francis Alexandre</name></author><author><name sortKey="Bsaies, Khaled" sort="Bsaies, Khaled" uniqKey="Bsaies K" first="Khaled" last="Bsaies">Khaled Bsaies</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>construction</term><term>eureka</term><term>fold</term><term>proof</term><term>specification</term><term>unfold</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-1755">Cet article traite de la construction de programmes logiques (programmes en clauses de Horn) et plus particulièrement du problème des eurekas. Dans le processus de transformation de programmes, il est souvent nécessaire d'utiliser certaines propriétés des programmes. Ces propriétés sont appelées eurkas car elle ne sont pas données a priori, ce sont des propriétés intrinsèques aux programmes et c'est l'utilisateur qui doit les découvrir. Le problème est donc crucial, car d'une part sans ces eurekas il n'est pas possible de poursuivre la transformation, d'autre part l'invention de tels eurekas, qui repose sur l'intuition et l'expertise de l'utilisateur, est difficile à automatiser. La technique présentée ici est une tentative d'automatisation de la génération de ces eurekas. Cette technique doit etre considérée comme une contribution à l'automatisation dans le domaine de la construction de programmes par transformation, elle vient donc compléter les nombreuses tactiques existant déjà dans ce domaine.</div></front></TEI><affiliations><list></list><tree><noCountry><name sortKey="Alexandre, Francis" sort="Alexandre, Francis" uniqKey="Alexandre F" first="Francis" last="Alexandre">Francis Alexandre</name><name sortKey="Bsaies, Khaled" sort="Bsaies, Khaled" uniqKey="Bsaies K" first="Khaled" last="Bsaies">Khaled Bsaies</name></noCountry></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A445 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00A445 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= CRIN:alexandre99b
|texte= Stratégies de dérivations de programmes logiques
}}
| This area was generated with Dilib version V0.6.33. |  |